Donald Sannella: د Z-Library په سایټ کښې پلټل

پوهې او کلتور ته وړیا لاسرسی.

Don't use scam websites

د فیلترونو نه استفاده وشوه

دقیق مطابقت والی

دقیق مطابقت والی

کتابونه (22)
مشهورترین
لیسټ
- لیسټ
- جدول

1

Introduction to Computation: Haskell, Logic and Automata

Introduction to Computation: Haskell, Logic and Automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

کال:

2022

ژبه:

english

فایل:

EPUB, 41.08 MB

0 / 0

english, 2022

2

Introduction to Computation: Haskell, Logic and Automata

Introduction to Computation: Haskell, Logic and Automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

کال:

2022

ژبه:

english

فایل:

PDF, 9.01 MB

0 / 3.0

english, 2022

3

Introduction to Computation: Haskell, Logic and Automata

Introduction to Computation: Haskell, Logic and Automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

کال:

2021

ژبه:

english

فایل:

PDF, 5.43 MB

0 / 5.0

english, 2021

4

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella (eds.)

کال:

2015

ژبه:

english

فایل:

PDF, 12.25 MB

0 / 0

english, 2015

5

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella (eds.)

کال:

2015

ژبه:

english

فایل:

PDF, 10.77 MB

0 / 0

english, 2015

6

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

کال:

1994

ژبه:

english

فایل:

DJVU, 4.20 MB

0 / 0

english, 1994

7

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)

کال:

2002

ژبه:

english

فایل:

PDF, 6.84 MB

0 / 0

english, 2002

8

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Robert Harper (auth.), Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella (eds.)

کال:

2004

ژبه:

english

فایل:

PDF, 20.89 MB

0 / 0

english, 2004

9

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)

کال:

2002

ژبه:

english

فایل:

PDF, 9.50 MB

0 / 0

english, 2002

10

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Robert Harper (auth.), Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella (eds.)

کال:

2004

ژبه:

english

فایل:

PDF, 10.62 MB

0 / 0

english, 2004

11

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

کال:

2010

ژبه:

english

فایل:

PDF, 5.23 MB

0 / 0

english, 2010

12

Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

Donald Sannella, Andrzej Tarlecki

کال:

2012

ژبه:

english

فایل:

PDF, 2.56 MB

0 / 0

english, 2012

13

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Donald Sannella (auth.), Annalisa Bossi (eds.)

کال:

2000

ژبه:

english

فایل:

PDF, 1.71 MB

0 / 0

english, 2000

14

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)

کال:

2000

ژبه:

english

فایل:

PDF, 9.42 MB

0 / 0

english, 2000

15

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Donald Sannella (auth.), Annalisa Bossi (eds.)

کال:

2000

ژبه:

english

فایل:

PDF, 3.47 MB

0 / 0

english, 2000

16

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.)

کال:

2002

ژبه:

english

فایل:

PDF, 6.00 MB

0 / 0

english, 2002

17

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)

کال:

2000

ژبه:

english

فایل:

PDF, 12.39 MB

0 / 0

english, 2000

18

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

کال:

1994

ژبه:

english

فایل:

PDF, 7.96 MB

0 / 0

english, 1994

19

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Christos Kaklamanis (auth.), Ugo Montanari, Donald Sannella, Roberto Bruni (eds.)

کال:

2007

ژبه:

english

فایل:

PDF, 3.47 MB

0 / 0

english, 2007

20

Algebraic system specification and development: A survey and annotated bibliography

Algebraic system specification and development: A survey and annotated bibliography

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (eds.)

کال:

1991

ژبه:

english

فایل:

DJVU, 954 KB

0 / 0

english, 1991

21

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.)

کال:

2002

ژبه:

english

فایل:

PDF, 6.06 MB

0 / 0

english, 2002

22

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

کال:

2010

ژبه:

english

فایل:

PDF, 5.18 MB

0 / 0

english, 2010